Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions
نویسندگان
چکیده
Each non-zero point in Rd identifies one closest point x on the unit sphere Sd−1. We are interested in computing an ε-approximation y ∈ Qd for x , that is exactly on Sd−1 and has low bit size. We revise lower bounds on rational approximations and provide explicit, spherical instances. We prove that floating-point numbers can only provide trivial solutions to the sphere equation in R2 and R3. Moreover, we show how to construct a rational point with denominators of at most 32(d − 1)2/ε2 for any given ε , improving on a previous result. The method further benefits from algorithms for simultaneous Diophantine approximation. Our open-source implementation and experiments demonstrate the practicality of our approach in the context of massive data sets geo-referenced by latitude and longitude values.
منابع مشابه
Rational Points on the Unit Sphere
The unit sphere, centered at the origin in R, has a dense set of points with rational coordinates. We give an elementary proof of this fact that includes explicit bounds on the complexity of the coordinates: for every point v on the unit sphere in R, and every > 0, there is a point r = (r1, r2, . . . , rn) such that: • ||r− v||∞ < . • r is also a point on the unit sphere; P r i = 1. • r has rat...
متن کاملA free group acting without fixed points on the rational unit sphere
We prove the existence of a free group of rotations of rank 2 which acts on the rational unit sphere without non-trivial fixed points. Introduction. The purpose of this paper is to prove that the group SO3(Q) of all proper orthogonal 3 × 3 matrices with rational entries has a free subgroup F2 of rank 2 such that for all w ∈ F2 different from the identity and for all ~r ∈ S2 ∩Q3 we have w(~r ) 6...
متن کاملWeighted quadrature formulas and approximation by zonal function networks on the sphere
Let q ≥ 1 be an integer, Sq be the unit sphere embedded in the Euclidean space Rq+1. A Zonal Function (ZF) network with an activation function φ : [−1, 1] → R and n neurons is a function on Sq of the form x 7→ nk=1 akφ(x · ξk), where ak’s are real numbers, ξk’s are points on Sq. We consider the activation functions φ for which the coefficients {φ̂(`)} in the appropriate ultraspherical polynomial...
متن کاملRepresentation of a digitized surface by triangular faces
This paper proposes a triangulation method for a digitized surface whose points are located on a regular lattice. The method relies on an iterative and adaptive splitting of triangular faces of an initial polyhedral surface. Assuming a bijection between the digitized surface and its approximation, a partition of the data base is performed. The method allows the measurement of the local quality ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017